Search Results for 'kernel race'

kernel race published presentations and documents on DocSlides.

Effective Data-Race Detection for the Kernel

by alida-meadow

John Erickson, . Madanlal. . Musuvathi. , Sebast...

james the GIANT killer:

by pasty-toler

evaluating locking schemes in . 2010-02-27. james...

Model-based Kernel Testing for Concurrency Bugs through Cou

by tawny-fly

Moonzoo Kim. , Shin Hong, Changki Hong. Provable ...